ESC Java

#	Item
11	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
12	PDF Document Add to Reading List Source URL: apotheca.hpl.hp.com Language: English - Date: 1999-01-04 14:36:58 Software development Extended static checking Program analysis Formal verification Type system ESC/Java Programming language Modula-3 Software bug Software engineering Computing Formal methods
13	PDF Document Add to Reading List Source URL: paginas.fe.up.pt Language: English - Date: 2009-10-22 15:17:50 Software review FxCop Static program analysis Software bug Code review Software testing ESC/Java PMD StyleCop Software Computing Program analysis
14	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 ESC/Java Extended static checking FindBugs Java programming language Software bug PMD Pointer C Java Computing Software Cross-platform software